A Model for Reasoning about Bidemsional Temporal Relations
نویسندگان
چکیده
This paper introduces the rectangle algebra as the power set of the set of the pairs of atomic relations which can hold between two rational intervals. It goes on proving that the question of the consistency of a rectangle network which constraints are preconvex is decidable by means of the path-consistency method in time polynomial in the length of the network.
منابع مشابه
Context-aware Modeling for Spatio-temporal Data Transmitted from a Wireless Body Sensor Network
Context-aware systems must be interoperable and work across different platforms at any time and in any place. Context data collected from wireless body area networks (WBAN) may be heterogeneous and imperfect, which makes their design and implementation difficult. In this research, we introduce a model which takes the dynamic nature of a context-aware system into consideration. This model is con...
متن کاملمدلسازی روابط توپولوژیک سه بعدی فازی در محیط GIS
Nowadays, geospatial information systems (GIS) are widely used to solve different spatial problems based on various types of fundamental data: spatial, temporal, attribute and topological relations. Topological relations are the most important part of GIS which distinguish it from the other kinds of information technologies. One of the important mechanisms for representing topological relations...
متن کاملSpatio-Temporal Reasoning about Traffic Scenarios
A model of spatial relations between automobiles changing over time needs to trade off expressivity, computational complexity, type of measured data, and closeness to human cognition. We present a common sense theory for reasoning about distances between cars based on two temporal distances between pairs of cars, net time gap and time to collision. We give an axiomatization in the situation cal...
متن کاملA model of fuzzy spatio-temporal knowledge representation and reasoning based on high-level Petri nets
In many application areas there is a need to represent human-like knowledge related to spatio-temporal relations among multiple moving objects. This type of knowledge is usually imprecise, vague and fuzzy, while the reasoning about spatio-temporal relations is intuitive. In this paper we present a model of fuzzy spatio-temporal knowledge representation and reasoning based on high-level Petri ne...
متن کاملQualitative Temporal Reasoning about Vague Events
The temporal boundaries of many real–world events are inherently vague. In this paper, we discuss the problem of qualitative temporal reasoning about such vague events. We show that several interesting reasoning tasks, such as checking satisfiability, checking entailment, and calculating the best truth value bound, can be reduced to reasoning tasks in a well–known point algebra with disjunction...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998